浮选柱反浮选脱镁工艺研究

利用浮选柱对高硅镁中低品位胶磷矿(P_2O_5 25.74%、MgO 1.31%、SiO_2 13.79%)进行反浮选脱镁实验,优化了反浮选脱镁工艺,并比较了浮选柱和浮选机的反浮选脱镁效果。确定最佳脱镁工艺条件为:捕收剂用量1.2 kg·t~(-1)、磷酸用量7 kg·t~(-1)、充气流量600 L·h~(-1)、冲洗水流量6 L·h~(-1)、柱径比8,在此条件下,得到P_2O_5品位为27.36%、MgO含量为0.64%的精矿,且精矿产率为92.65%,P_2O_5回收率为98.71%。     

压水堆核电厂堆外源量程探测器计数率分析

压水堆核电厂启动过程中，次级中子源为堆外源量程探测器提供本底计数率，避免测量盲区，确保反应堆安全启动。但次级中子源的引入会为核电厂带来较大的经济和环境负担，同时也需承受次级中子源破损等带来的风险。为此，可使用受辐照燃料组件的自发裂变中子源进行替代，即无源启动方式。通过研究堆外源量程探测器计数率的理论计算方法，并基于运行电厂测量数据进行分析验证，为源量程探测器计数率的理论预估提供了较为完善的理论方法流程。本文结果可为无源启动源量程探测器计数率分析提供支持，同时也可用于次级中子源装载量或布置位置的优化分析等。     

有限元SN中子输运模拟的区域分解并行

确定论中子输运方法具有计算速度快、可获取物理量的精细场分布、可高效多物理耦合等优点，随着有限元方法在中子输运模拟中的应用，复杂几何结构、大尺度下的屏蔽问题和临界问题都能得到高保真建模和分析。离散纵标（S_N）法是求解中子输运方程的有效数值方法，基于OpenMP并行机制对各独立离散方向进行并行求解，可提高S_N输运模拟的计算速度，但并行规模较有限。对几何空间进行区域分解并采用MPI并行机制，可实现大规模并行扩展，进而实现对大型问题的高精度快速求解。本文采用并行自适应非结构网格应用框架JAUMIN进行区域分解和进程间通信，通过并行S_N扫描实现了自主有限元输运程序ENTER的高效并行，完成正确性检验后在天河Ⅱ号超级计算机上使用1 440个CPU核完成了1.43×10⁷网格单元、2.81×10⁹自由度规模问题的测试，计算时间约7.4 h。表明该程序具备了有效模拟大型复杂结构中子输运问题的能力，具有一定工程应用价值。     

气体裂变产物88Kr半衰期测量

为准确测定气体裂变产物⁸⁸Kr的半衰期，本工作从辐照铀靶中分离得到3个放化纯的⁸⁸Kr气体测量源。以⁸⁵Kr作内标监督源，¹³⁷Cs或⁵⁷Co作外标监督源，使用多个HPGe探测器分别采用单探测器位置接力法和双探测器位置接力法跟踪测量⁸⁸Kr 196.3 keV能量的特征γ射线，跟踪时间均在8个半衰期以上，以获得其半衰期数据。对3次独立测量数据用多种方法进行处理，最终得到⁸⁸Kr半衰期测定结果为（2.796±0.015） h。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

酸改性CoPd/TiO2催化CH4-CO2直接合成C2含氧化合物

采用酸处理方法对CoPd/TiO₂催化剂进行改性，并将酸改性催化剂用于温和条件下CH₄-CO₂梯阶转化直接合成C₂含氧化合物（乙酸和乙醇）的反应。在150～300℃考察了浸酸方式和不同种类酸处理对催化剂活性和选择性的影响。采用X射线衍射（XRD）、X射线光电子能谱（XPS）、NH₃程序升温脱附（NH₃-TPD）和N₂吸附对催化剂进行了表征。结果表明，酸改性明显提高了CoPd/TiO₂上C₂含氧化合物的生成速率和选择性。浸酸方式对催化剂性能和结构有显著影响，先用酸浸渍载体然后再浸渍活性金属所得催化剂具有更高的活性。在H₃PO₄、HNO₃和HCl中，H₃PO₄浸渍的催化剂活性最佳，在150℃时C₂含氧化合物（乙酸和乙醇）的生成速率为3365 μg/(g·h)，选择性达到91%。     

基于几何相位的线偏振聚焦超表面器件

设计出基于几何相位的介质超表面实现线偏振光聚焦功能。该设计打破了传统设计中几何相位(Pancharatnam-Berry phase)的手性限制,不再是局限于左旋圆偏振光(LCP)和右旋圆偏振光(RCP)入射。通过有限时域差分仿真来证明这种线偏振聚焦相位调控的特性。该类功能器件可能用于设计新颖的THz元器件、高分辨成像、功能探测等方面。